Automatisiertes Testen von verteilten Systemen über Petrinetze

Zusammenfassung: Dieser Beitrag stellt eine Methode vor, um mittels modellbasierter Tests ein verteiltes System über seine Netzwerk-Kommunikation zu validieren. Diese wird kontextabhängig gegen ein Sollverhalten geprüft und ggf. manipuliert. Die Beschreibung des Sollverhaltens erfolgt hierbei durch eine sequenzbasierte Notation. Dadurch ist es einfach und intuitiv möglich, Testszenarien zu implementieren und automatisiert durchzuführen. Zur Laufzeit wird das Netzwerkverhalten über ein Petrinetz effizient validiert. Außerdem ist es möglich, ein entsprechendes Gerät in ein Netzwerk zu integrieren und den Datenverkehr auf vielfältige Weise zu manipulieren.